Section: New Results

Abstractions of Functions

Participants : Patrick Cousot, Radhia Cousot.

The idea of domain segmentation for arrays [18] has been extended to the abstraction of functions [41] by combination of a partionning of their domain of definition and a functional or relational abstraction of blocks into their co-domain [17] .